perm filename ASMBL.FAI[CMS,LCS]4 blob
sn#232989 filedate 1976-08-23 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00007 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 ZERO←←274
C00004 00003 DEFINE PLP < 50 >
C00007 00004 DEFINE BVC (N) < 120 ↔ (N-.-1) ∧ 377 >
C00009 00005 DEFINE SEI < 170 >
C00012 00006 DEFINE TAY < 250 >
C00016 00007 DEFINE BNE (N) < 320 ↔ (N-.-1) ∧ 377 >
C00019 ENDMK
C⊗;
ZERO←←274
LOC ZERO
PHASE 0
DEFINE ABSO (N) < N∧377 ↔ (N⊗-10)∧377 >
DEFINE BRK < 0 >
DEFINE ORAIX (N) < 1 ↔ N∧377 >
DEFINE ORAZ (N) < 5 ↔ N∧377 >
DEFINE ASLZ (N) < 6 ↔ N∧377 >
DEFINE PHP < 10 >
DEFINE ORAI (N) < 11 ↔ N∧377 >
DEFINE ASLA < 12 ↔ >
DEFINE ORA (N) < 15 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE ASL (N) < 16 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE BPL (N) < 20 ↔ (N-.-1) ∧ 377 >
DEFINE ORAIY (N) < 21 ↔ N∧377 >
DEFINE ORAZX (N) < 25 ↔ N∧377 >
DEFINE ASLZX (N) < 26 ↔ N∧377 >
DEFINE CLC < 30 >
DEFINE ORAY (N) < 31 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE ORAX (N) < 35 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE ASLX (N) < 36 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE JSR (N) < 40 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE ANDIX (N) < 41 ↔ N∧377 >
DEFINE BITZ (N) < 44 ↔ N∧377 >
DEFINE ANDZ (N) < 45 ↔ N∧377 >
DEFINE ROLZ (N) < 46 ↔ N∧377 >
DEFINE PLP < 50 >
DEFINE ANDI (N) < 51 ↔ N∧377 >
DEFINE ROLA < 52 >
DEFINE BIT (N) < 54 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE AND (N) < 55 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE ROL (N) < 56 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE BMI (N) < 60 ↔ (N-.-1) ∧ 377 >
DEFINE ANDIY (N) < 61 ↔ N∧377 >
DEFINE ANDZX (N) < 65 ↔ N∧377 >
DEFINE ROLZX (N) < 66 ↔ N∧377 >
DEFINE SEC < 70 >
DEFINE ANDY (N) < 71 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE ANDX (N) < 75 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE ROLX (N) < 76 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE RTI < 100 >
DEFINE EORIX (N) < 101 ↔ N∧377 >
DEFINE EORZ (N) < 105 ↔ N∧377 >
DEFINE LSRZ (N) < 106 ↔ N∧377 >
DEFINE PHA < 110 >
DEFINE EORI (N) < 111 ↔ N∧377 >
DEFINE LSRA < 112 >
DEFINE JMP (N) < 114 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE EOR (N) < 115 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE LSR (N) < 116 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE BVC (N) < 120 ↔ (N-.-1) ∧ 377 >
DEFINE EORIY (N) < 121 ↔ N∧377 >
DEFINE EORZX (N) < 125 ↔ N∧377 >
DEFINE LSRZX (N) < 126 ↔ N∧377 >
DEFINE CLI < 130 >
DEFINE EORY (N) < 131 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE EORX (N) < 135 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE LSRX (N) < 136 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE RTS < 140 >
DEFINE ADCIX (N) < 141 ↔ N∧377 >
DEFINE ADCZ (N) < 145 ↔ N∧377 >
DEFINE PLA < 150 >
DEFINE ADCI (N) < 151 ↔ N∧377 >
DEFINE JMPIN (N) < 154 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE ADC (N) < 155 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE BVS (N) < 160 ↔ (N-.-1) ∧ 377 >
DEFINE ADCIY (N) < 161 ↔ N∧377 >
DEFINE ADCZX (N) < 165 ↔ N∧377 >
DEFINE SEI < 170 >
DEFINE ADCY (N) < 171 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE ADCX (N) < 175 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE STAIX (N) < 201 ↔ N∧377 >
DEFINE STYZ (N) < 204 ↔ N∧377 >
DEFINE STAZ (N) < 205 ↔ N∧377 >
DEFINE STXZ (N) < 206 ↔ N∧377 >
DEFINE DEY < 210 >
DEFINE TXA < 212 >
DEFINE STY (N) < 214 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE STA (N) < 215 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE STX (N) < 216 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE BCC (N) < 220 ↔ (N-.-1) ∧ 377 >
DEFINE STAIY (N) < 221 ↔ N∧377 >
DEFINE STYZX (N) < 224 ↔ N∧377 >
DEFINE STAZX (N) < 225 ↔ N∧377 >
DEFINE STXZY (N) < 226 ↔ N∧377 >
DEFINE TYA < 230 >
DEFINE STAY (N) < 231 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE TXS < 232 >
DEFINE STAX (N) < 235 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE LDYI (N) < 240 ↔ N∧377 >
DEFINE LDAIX (N) < 241 ↔ N∧377 >
DEFINE LDXI (N) < 242 ↔ N∧377 >
DEFINE LDYZ (N) < 244 ↔ N∧377 >
DEFINE LDAZ (N) < 245 ↔ N∧377 >
DEFINE LDXZ (N) < 246 ↔ N∧377 >
DEFINE TAY < 250 >
DEFINE LDAI (N) < 251 ↔ N∧377 >
DEFINE TAX < 252 >
DEFINE LDY (N) < 254 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE LDA (N) < 255 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE LDX (N) < 256 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE BCS (N) < 260 ↔ (N-.-1) ∧ 377 >
DEFINE LDAIY (N) < 261 ↔ N∧377 >
DEFINE LDYZX (N) < 264 ↔ N∧377 >
DEFINE LDAZX (N) < 265 ↔ N∧377 >
DEFINE LDXZY (N) < 266 ↔ N∧377 >
DEFINE CLV < 270 >
DEFINE LDAY (N) < 271 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE TSX < 272 >
DEFINE LDYX (N) < 274 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE LDAX (N) < 275 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE LDXY (N) < 276 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE CPYI (N) < 300 ↔ N∧377 >
DEFINE CMPIX (N) < 301 ↔ N∧377 >
DEFINE CPYZ (N) < 304 ↔ N∧377 >
DEFINE CMPZ (N) < 305 ↔ N∧377 >
DEFINE DECZ (N) < 306 ↔ N∧377 >
DEFINE INY < 310 >
DEFINE CMPI (N) < 311 ↔ N∧377 >
DEFINE DEX < 312 >
DEFINE CPY (N) < 314 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE CMP (N) < 315 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE DEC (N) < 316 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE BNE (N) < 320 ↔ (N-.-1) ∧ 377 >
DEFINE CMPIY (N) < 321 ↔ N∧377 >
DEFINE CMPZX (N) < 325 ↔ N∧377 >
DEFINE DECZX (N) < 326 ↔ N∧377 >
DEFINE CLD < 330 >
DEFINE CMPY (N) < 331 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE CMPX (N) < 335 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE DECX (N) < 336 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE CPXI (N) < 340 ↔ N∧377 >
DEFINE SBCIX (N) < 341 ↔ N∧377 >
DEFINE CPXZ (N) < 344 ↔ N∧377 >
DEFINE SBCZ (N) < 345 ↔ N∧377 >
DEFINE INCZ (N) < 346 ↔ N∧377 >
DEFINE INX < 350 >
DEFINE SBCI (N) < 351 ↔ N∧377 >
DEFINE NOP < 352 >
DEFINE CPX (N) < 354 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE SBC (N) < 355 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE INC (N) < 356 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE BEQ (N) < 360 ↔ (N-.-1) ∧ 377 >
DEFINE SBCIY (N) < 361 ↔ N∧377 >
DEFINE SBCZX (N) < 365 ↔ N∧377 >
DEFINE INCZX (N) < 366 ↔ N∧377 >
DEFINE SED < 370 >
DEFINE SBCY (N) < 371 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE SBCX (N) < 375 ↔ N∧377 ↔ (N⊗-10)∧377 >
DEFINE INCX (N) < 376 ↔ N∧377 ↔ (N⊗-10)∧377 >